Irreducible Decompositions of Transformation Graphs by Assignment Techniques
نویسندگان
چکیده
Autonomous sequential networks are represent ed by transformation graphs, i. e. , finite directed graphs, each vertex of which has out degree one. A network that can be realized by a set of simpler, parallel networks corresponds to a transformation graph representable as a cartesian product of sim pler graphs. An algorithm for obtaining the vari ous decompositions of a given transformation graph into irreducible factors is presented. The par ticular decompositions into a minimum number of factors and into factors of smallest size are di rectly reached by the method.
منابع مشابه
Graph Automata and Their Application to the Verification of Dynamic Systems
The aim of this thesis is to provide verification techniques based on formal language theory and graph theory for graph transformation systems. Graph transformation systems can be used in a large number of application areas. In many cases it is very natural to model concurrent and distributed systems or other systems, where evolving graph-like structures play a role, by means of graph transform...
متن کاملAddendum to: "Infinite-dimensional versions of the primary, cyclic and Jordan decompositions", by M. Radjabalipour
In his paper mentioned in the title, which appears in the same issue of this journal, Mehdi Radjabalipour derives the cyclic decomposition of an algebraic linear transformation. A more general structure theory for linear transformations appears in Irving Kaplansky's lovely 1954 book on infinite abelian groups. We present a translation of Kaplansky's results for abelian groups into the terminolo...
متن کاملBranch and Tree Decomposition Techniques for Discrete Optimization
This chapter gives a general overview of two emerging techniques for discrete optimization that have footholds in mathematics, computer science, and operations research: branch decompositions and tree decompositions. Branch decompositions and tree decompositions along with their respective connectivity invariants, branchwidth and treewidth, were first introduced to aid in proving the Graph Mino...
متن کاملReduction of constraint systems
Geometric modeling by constraints leads to large systems of algebraic equations. This paper studies bipartite graphs underlaid by systems of equations. It shows how these graphs make possible to polynomially decompose these systems into well constrained, over-, and underconstrained subsystems. This paper also gives an efficient method to decompose well constrained systems into irreducible ones....
متن کاملGeneralizations of two theorems of Ritt on decompositions of polynomial maps
In 1922, J. F. Ritt [13] proved two remarkable theorems on decompositions of polynomial maps of C[x] into irreducible polynomials (with respect to the composition ◦ of maps). Briefly, the first theorem states that in any two decompositions of a given polynomial function into irreducible polynomials the number of the irreducible polynomials and their degrees are the same (up to order). The secon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1967